RELATIVE INJECTIVITY AS COCOMPLETENESS FOR A CLASS OF DISTRIBUTORS Dedicated to Walter Tholen on the occasion of his sixtieth birthday
نویسندگان
چکیده
Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:math.CT/0804.0326] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadicity of the category of injective spaces and left adjoints over Set. In this paper we generalise these results, studying cocompleteness with respect to a given class of distributors. We show in particular that the description of several semantic domains presented in [M. Escardó and B. Flagg, Semantic domains, injective spaces and monads, Electronic Notes in Theoretical Computer Science 20 (1999)] can be translated into the V-enriched setting.
منابع مشابه
A CONVENIENT CATEGORY FOR DIRECTED HOMOTOPY Dedicated to Walter Tholen at the occasion of his sixtieth birthday
We propose a convenient category for directed homotopy consisting of “directed” topological spaces generated by “directed” cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.
متن کاملNatural Weak Factorization Systems
In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category K is introduced, as a pair (comonad, monad) over K. The link with existing notions in terms of morphism classes is given via the respective Eilenberg–Moore categories. Dedica...
متن کاملInjectivity in a category: an overview on smallness conditions
Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...
متن کاملRelative Injectivity as Cocompleteness for a Class of Distributors
Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:math.CT/0804.0326] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadic...
متن کاملEXPONENTIABILITY IN CATEGORIES OF LAX ALGEBRAS Dedicated to Nico Pumplün on the occasion of his seventieth birthday
For a complete cartesian-closed category V with coproducts, and for any pointed endofunctor T of the category of sets satisfying a suitable Beck-Chevalley-type condition, it is shown that the category of lax reflexive (T,V)-algebras is a quasitopos. This result encompasses many known and new examples of quasitopoi.
متن کامل